A FORMAL DESIGN SCIENCE
نویسندگان
چکیده
منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFSCP: A Platform for Crowdsourcing Formal Science
We present the Formal Science Crowdsourcing Platform (FSCP). FSCP represents claims as interpreted predicate logic formulas. FSCP-based crowdsourcing systems focus a crowd of scholars on examining a family of claims to separate the true claims from false ones. Scholars examine a claim through participating in a substantiation game. Substantiation games are built on top of Hintikka’s Game Theore...
متن کاملFormal Modeling in Political Science
Applications of game theory—and an alternative strategic theory called “theory of moves”—as well as social-choice theory to a wide variety of strategic situations, principally but not exclusively in politics, will be examined. Uses of strategy in voting in committees and elections, in political campaigns, in the defense and deterrence policies of nations, and in bargaining and coalition-buildin...
متن کاملA Pathological Study of Urban Design Skills’ Non-formal Training in Iran, Case Study: Tehran Municipality
In today’s world, one of the cities’ major challenges is the crisis of the built environment quality. As the urban design group discussed, urban management (local authorities) actors are kind of urban designers who unconsciously affect the quality of urban environment by their decisions. Non-formal Education and in-service training programs are effective methods to qualify staff for making deci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Canadian Engineering Education Association (CEEA)
سال: 2011
ISSN: 2371-5243
DOI: 10.24908/pceea.v0i0.4015